| 1. | The last sentence in the sequence is a theorem of a formal system.
La dernière proposition de la séquence est un théorème d'un système formel. |
| 2. | An axiomatic system that is completely described is a special kind of formal system.
Un système axiomatique complet est un type particulier de système formel. |
| 3. | A formal system is used to derive one expression from one or more other expressions.
Un système formel est utilisé pour dériver une expression d'une ou plusieurs autres expressions. |
| 4. | A formal proof is a complete rendition of a mathematical proof within a formal system.
Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel. |
| 5. | In a formal system a symbol may be used as a token in formal operations.
Dans un système formel, un symbole peut être utilisé comme un ''token'' (en) dans des opérations formelles. |
| 6. | Gödel essentially constructed a formula that claims that it is unprovable in a given formal system.
Gödel a essentiellement bâti « une formule qui énonce qu'elle n'est pas démontrable » dans un système formel donné. |
| 7. | The first formal system for air group identification (Visual Identification System for Naval Aircraft) was established in January 1945.
Le premier système formel pour l'identification des escadres embarquées ("système d'identification visuelle des avions embarqués") fut instauré en janvier 1945. |
| 8. | A set of logical connectives associated with a formal system is functionally complete if it can express all propositional functions.
Un ensemble de connecteurs logiques associés à un système formel est fonctionnellement complet si elle peut exprimer toutes les fonctions propositionnelles. |
| 9. | Like its dual, NAND can be used by itself, without any other logical operator, to constitute a logical formal system (making NAND functionally complete).
Comme son dual, l'opérateur NON-OU, NON-ET peut être utilisé par lui-même, sans aucun autre opérateur logique, pour constituer un système formel logique. |
| 10. | Another definition sees language as a formal system of signs governed by grammatical rules of combination to communicate meaning.
Une autre définition du langage le considère sous l'angle d'un système formel de signes régis par une combinaison de règles de grammaire qui véhiculent de la signification. |
